# -*- mode: snippet -*-
# name: Unset Congruence Depth
# --
Unset Congruence Depth
